| Model: | eajs v.1 (MDP) |
| Parameter(s) | N = 6, energy_capacity = 300, B = 13 |
| Property: | ExpUtil (exp-reward) |
mono ./modest-fret-pi-lrtdp-master/FretLrtdp.exe eajs.6.jani --epsilon 1e-3 --props ExpUtil -E energy_capacity=300,B=13 --timeout 580
| Walltime: | 580.3977651596069s |
| Return code: | 0 |
| Relative Error: | 0.6680803903759294 |
eajs.6.jani:model: info: eajs.6 is an MDP model. eajs.6.jani: info: Need 26 bytes per state. Peak memory usage: 91 MB Analysis results for eajs.6.jani Experiment energy_capacity=300, B=13 + Property ExpUtil Value: 4 Time: 579.5 s